A Compcert Backend With Symbolic Encryption